Some ({=} with x = Bool)
